Z(G) ≤ G